#include <mmio.h>
#include <gicv3.h>

void main()
{
    uint32_t type;

    type = gicv3_dist_type();

    while (1);
}
